Motivation for a new formal framework for agent-oriented software engineering

Motivation for a new formal framework for agent-oriented software engineering

Agent-Oriented Software Engineering (AOSE) poses several challenges to the traditional theory and practice of software engineering with the emergence of a variety of theories and tools proposed to deal with this challenge. Agent frameworks with formal foundations have an important role to play in this scenario by allowing analysis based on a mathematical model. It is our contention that the ava...

Formal Methods in Agent-Oriented Software Engineering

The Bochica Framework for Model-Driven Agent-Oriented Software Engineering

Modeling real world agent-based systems is a complex endeavour. An ideal domain specific agent modeling language would be tailored to a certain application domain (e.g. virtual worlds) as well as to the target execution environment (e.g. a legacy virtual reality platform). This includes the use of specialized domain concepts, information models, software languages (e.g. query languages for reas...

A Framework for Modeling Agent-Oriented Software

With the increasing importance of complex software systems in the software industry, the need for using agent technologies to develop large-scale commercial and industrial software systems is growing rapidly. Such systems are complex and there is a pressing need for system modeling techniques to support reliable, maintainable and extensible design. G-Nets are a type of Petri net defined to supp...

Agent-SE: A Methodology for Agent Oriented Software Engineering

Agent-oriented approach to software engineering (Agent-SE) for mul-tiagent software design is presented. It includes methods to generate organizational information for cooperative and coordinative agents. Agent-SE can be used to design and implement complex, heterogeneous, distributed and networked software systems using dynamic agent coalition structure.